" Bengt Nordström" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Advances in natural language processing: 6th international conference, GoTAL 2008, Gothenburg, Sweden, August 25-27, 2008: proceedings

Aarne Ranta, Bengt Nordström

7.78 Mb

#2

Types for Proofs and Programs: International Workshop TYPES '94, Bastad, Sweden, June 6-10, 1994. Selected Papers

Peter Dybjer, Bengt Nordström, Jan Smith

1.98 Mb

#3

Types for Proofs and Programs: International Workshop, TYPES'99, Lökeberg, Sweden, June 12-16, 1999, Selected Papers

Thierry Coquand, Peter Dybjer, Bengt Nordström, Jan Smith

1.42 Mb